Topological sound

Floquet topological insulators for sound

The unique conduction properties of condensed matter systems with topological order have recently inspired a quest for the similar effects in classical wave phenomena. Acoustic topological insulators, in particular, hold the promise to revolutionize our ability to control sound, allowing for large isolation in the bulk and broadband one-way transport along their edges, with topological immunity...

Topological Sound and Flocking on Curved Surfaces

Active systems on curved geometries are ubiquitous in the living world. In the presence of curvature, orientationally ordered polar flocks are forced to be inhomogeneous, often requiring the presence of topological defects even in the steady state because of the constraints imposed by the topology of the underlying surface. In the presence of spontaneous flow, the system additionally supports l...

Snowflake Topological Insulator for Sound Waves

Topological Sound Propagation with Reverberation Graphs

Reverberation graphs is a novel approach to estimate global soundpressure decay and auralize corresponding reverberation effects in interactive virtual environments. We use a 3D model to represent the geometry of the environment explicitly, and we subdivide it into a series of coupled spaces connected by portals. Off-line geometrical-acoustics techniques are used to precompute transport operato...

A sound and complete axiomatization for Dynamic Topological Logic

Dynamic Topological Logic (DT L) is a multimodal system for reasoning about dynamical systems. It is defined semantically and, as such, most of the work done in the field has been model-theoretic. In particular, the problem of finding a complete axiomatization for the full language of DT L over the class of all dynamical systems has proven to be quite elusive. Here we propose to enrich the lang...